In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
WeiterlesenThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Weiterlesen